On the Standard Model prediction for $\mathcal{B}(B_{s,d} \to \mu^{+} \mu^{-})$
نویسندگان
چکیده
منابع مشابه
THE POMERON IN A MODIFIED MU LTIPERIPHERAL MODEL
There have been many attempts [I-31 to produce correct pomeron by putting the nparticle production amplitude expht, in the unitarity integral equation. It was found that for reasonable values of h one could not get the right picture of the slope of the pomeron as a function of energy S4 .W e show that theinterference termsin the unitary equation does not improve the slope either. However, a...
متن کاملOn the possible volume of $mu$-$(v,k,t)$ trades
A $mu$-way $(v,k,t)$ $trade$ of volume $m$ consists of $mu$ disjoint collections $T_1$, $T_2, dots T_{mu}$, each of $m$ blocks, such that for every $t$-subset of $v$-set $V$ the number of blocks containing this t-subset is the same in each $T_i (1leq i leq mu)$. In other words any pair of collections ${T_i,T_j}$, $1leq i< j leq mu$ is a $(v,k,t)$ trade of volume $m$. In th...
متن کاملSuperdeduction in Lambda-Bar-Mu-Mu-Tilde
Superdeduction is a method specially designed to ease the use of first-order theories in predicate logic. The theory is used to enrich the deduction system with new deduction rules in a systematic, correct and complete way. A proof-term language and a cut-elimination reduction already exist for superdeduction, both based on Christian Urban’s work on classical sequent calculus. However the compu...
متن کاملThe mu-calculus and model-checking
This chapter presents a part of the theory of the mu-calculus that is relevant to the, broadly understood, model-checking problem. The mu-calculus is one of the most important logics in model-checking. It is a logic with an exceptional balance between expressiveness and algorithmic properties. The chapter describes in length the game characterization of the semantics of the mu-calculus. It disc...
متن کاملModel Checking and the Mu-calculus
There is a growing recognition of the need to apply formal mathematical methods in the design of \high conndence" computing systems. Such systems operate in safety critical contexts (e.g., air traf-c control systems) or where errors could have major adverse economic consequences (e.g., banking networks). The problem is especially acute in the design of many reactive systems which must exhibit c...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The European Physical Journal C
سال: 2012
ISSN: 1434-6044,1434-6052
DOI: 10.1140/epjc/s10052-012-2172-1